F. Belala: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Towards formalising installation and reconfiguration tasks of AADL architecture

Benlahrache, Nadira, Belala, Faiza

Journal:

International Journal of Communication Networks and Distributed Systems

Year:

2013

Language:

english

File:

PDF, 4.46 MB

english, 2013

2

[IEEE IEEE International Conference on Computer Systems and Applications, 2006 - (2006.03.8-2006.03.8)] IEEE International Conference on Computer Systems and Applications, 2006. - A Contribution to the Formal Checking of Multi-Agents Systems

Belala, F., Boucherit, A.

Year:

2006

Language:

english

File:

PDF, 520 KB

english, 2006

3

Biosorption of copper from aqueous solutions by date stones and palm-trees waste

Zohra Belala, Mejdi Jeguirim, Meriem Belhachemi, Fatima Addoun, Gwenaëlle Trouvé

Journal:

Environmental Chemistry Letters

Year:

2011

Language:

english

File:

PDF, 228 KB

english, 2011

4

[IEEE 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (WOWMOM) - Newport Beach, CA, USA (2008.06.23-2008.06.26)] 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks - An embedded platform for reliable applications over heterogeneous wireless networks

Issa, Omneya, Gregoire, Jean-Charles, Belala, Yacine, Wong, James

Year:

2008

Language:

english

File:

PDF, 323 KB

english, 2008

5

[IEEE 2008 IEEE Symposium on Computers and Communications (ISCC) - Marrakech (2008.07.6-2008.07.9)] 2008 IEEE Symposium on Computers and Communications - Tile logic as an architectural model for mobility

Bouanaka, Chafia, Belala, Faiza

Year:

2008

Language:

english

File:

PDF, 1.39 MB

english, 2008

6

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA’09) - Zarzis (Tunisia) (23–25 March 2009)] AIP Conference Proceedings - Maximality-Based Structural Operational Semantics for Petri Nets

Saïdouni, Djamel Eddine, Belala, Nabil, Bouneb, Messaouda, Beji, Lotfi, Otmane, Samir, Abichou, Azgal

Year:

2009

File:

PDF, 535 KB

2009

7

[IEEE 2018 13th Annual Conference on System of Systems Engineering (SoSE) - Paris, France (2018.6.19-2018.6.22)] 2018 13th Annual Conference on System of Systems Engineering (SoSE) - A Maude based Specification for SoS Architecture

Seghiri, A., Belala, F., Benzadri, Z., Hameurlain, Nabil

Year:

2018

Language:

english

File:

PDF, 813 KB

english, 2018

8

[IEEE 2019 6th International Conference on Image and Signal Processing and their Applications (ISPA) - Mostaganem, Algeria (2019.11.24-2019.11.25)] 2019 6th International Conference on Image and Signal Processing and their Applications (ISPA) - High Gain and Radiation Coverage Antenna Array for RF Power Harvesting

Djadour, Imededdin, Aidel, Salih, Medkour, Hicham, Cheniti, Mohamed, Belala, Mohammed Akli, Zegadi, Ameur

Year:

2019

Language:

english

File:

PDF, 1.95 MB

english, 2019

9

[IEEE 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud) - Istanbul, Turkey (2019.8.26-2019.8.28)] 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud) - Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant

Bouheroum, Ayoub, Benzadri, Zakaria, Belala, Faiza

Year:

2019

File:

PDF, 968 KB

2019

10

Biosorption of basic dye from aqueous solutions by Date Stones and Palm-Trees Waste: Kinetic, equilibrium and thermodynamic studies

Zohra Belala, Mejdi Jeguirim, Meriem Belhachemi, Fatima Addoun, Gwenaëlle Trouvé

Journal:

Year:

2011

Language:

english

File:

PDF, 561 KB

english, 2011

11

A Natural Semantic Framework for ECATNets

F. Belala, M. Bettaz

Journal:

Applied Categorical Structures

Year:

2002

Language:

english

File:

PDF, 124 KB

english, 2002

12

[IEEE 2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2010.05.16-2010.05.19)] ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 - For more understandable UML diagrams

Boukhelfa, Kamel, Belala, Faiza, Choutri, Aicha, DOuibi, Halima

Year:

2010

Language:

english

File:

PDF, 411 KB

english, 2010

13

A Distributed Architecture for Micro Context-Aware Agents

Patrice Roy, Bessam Abdulrazak, Yacine Belala

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 340 KB

english, 2011

14

[IEEE 2008 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2008.03.31-2008.04.4)] 2008 IEEE/ACS International Conference on Computer Systems and Applications - Towards a mobile architecture description language

Bouanaka, Chafia, Belala, Faiza

Year:

2008

Language:

english

File:

PDF, 358 KB

english, 2008

15

[ACM Press the 12th International Conference - Paris, France (2010.11.08-2010.11.10)] Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services - iiWAS '10 - Macro and micro context-awareness for autonomic pervasive computing

Abdulrazak, Bessam, Roy, Patrice, Gouin-Vallerand, Charles, Giroux, Sylvain, Belala, Yacine

Year:

2010

Language:

english

File:

PDF, 712 KB

english, 2010

16

[IEEE 2008 Second International Conference on Research Challenges in Information Science (RCIS) - Marrakech (2008.06.3-2008.06.6)] 2008 Second International Conference on Research Challenges in Information Science - AADL behavioral annex based on generalized rewriting logic

Benammar, Malika, Belala, Faiza, Latreche, Fateh

Year:

2008

Language:

english

File:

PDF, 1.62 MB

english, 2008

17

[IEEE 2012 Second International Workshop on Advanced Information Systems for Enterprises (IWAISE) - Constantine, Algeria (2012.11.10-2012.11.12)] 2012 Second International Workshop on Advanced Information Systems for Enterprises - Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine

Cherfia, Taha A., Faiza, Belala, Benlahrache, Nadira

Year:

2012

Language:

english

File:

PDF, 364 KB

english, 2012

18

[IEEE 2011 20th IEEE International Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises (WETICE) - Paris, France (2011.06.27-2011.06.29)] 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises - A Novel Semantic Framework for Analyzing Dynamic Web Services

Latreche, Fateh, Belala, Faiza

Year:

2011

Language:

english

File:

PDF, 329 KB

english, 2011

19

[IEEE 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO 2013) - Hammamet (2013.4.28-2013.4.30)] 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO) - Automatic Web services composition using maude strategies

Fateh, Latreche, Hacene, Sebih, Faiza, Belala

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

20

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems

Belala, Faiza, Bouanaka, Chafia, Barkaoui, Kamel

Year:

2011

Language:

french

File:

PDF, 313 KB

french, 2011

21

[IEEE 2008 2nd Annual IEEE Systems Conference - Montreal, QC, Canada (2008.04.7-2008.04.10)] 2008 2nd Annual IEEE Systems Conference - 3G Embedded Communication System for Medical Applications

Issa, Omneya, Gregoire, Jean-Charles, Belala, Yacine, Wong, James

Year:

2008

Language:

english

File:

PDF, 6.38 MB

english, 2008

22

[IEEE 2009 IEEE/ACS International Conference on Computer Systems and Applications - Rabat, Morocco (2009.05.10-2009.05.13)] 2009 IEEE/ACS International Conference on Computer Systems and Applications - A synchronization schema in activity diagrams via zero-safe-nets

Boufenara, Sabine, Belala, Faiza, Bouanaka, Chafia

Year:

2009

Language:

english

File:

PDF, 402 KB

english, 2009

23

3G Video Uploading Applications: Performance and Improvements

Issa, Omneya, Grégoire, Jean-Charles, Belala, Yacine, Wong, James, Bage, Marc

Journal:

IEEE Multimedia

Year:

2008

Language:

english

File:

PDF, 988 KB

english, 2008

24

A Secure Mobile Multimedia System to Assist Emergency Response Teams

Belala, Yacine, Issa, Omneya, Gregoire, Jean-Charles, Wong, James

Journal:

Telemedicine and e-Health

Year:

2008

Language:

english

File:

PDF, 2.31 MB

english, 2008

25

Adsorption of phenol and dye from aqueous solution using chemically modified date pits activated carbons

Belhachemi, Meriem, Belala, Zohra, Lahcene, Driss, Addoun, Fatima

Journal:

DESALINATION AND WATER TREATMENT

Year:

2009

Language:

english

File:

PDF, 469 KB

english, 2009

26

[IEEE IJCNN-91-Seattle International Joint Conference on Neural Networks - Seattle, WA, USA (8-14 July 1991)] IJCNN-91-Seattle International Joint Conference on Neural Networks - A robust diagnosis system based on neural networks

Belala, Y., Parey, C.

Year:

1991

Language:

english

File:

PDF, 61 KB

english, 1991

27

[IEEE 2007 IEEE Sarnoff Symposium - Princeton, NJ, USA (2007.04.30-2007.05.2)] 2007 IEEE Sarnoff Symposium - Performance analysis of medical video monitoring and surveillance applications for 3G mobile terminals

Issa, Omneya, Gregoire, Jean-Charles, Belala, Yacine, Wong, James

Year:

2007

Language:

english

File:

PDF, 186 KB

english, 2007

28

[IEEE 2008 Second International Conference on Research Challenges in Information Science (RCIS) - Marrakech (2008.06.3-2008.06.6)] 2008 Second International Conference on Research Challenges in Information Science - Towards a tile based LfP semantics

Choutri, A., Belala, F., Barkaoui, K.

Year:

2008

Language:

english

File:

PDF, 1.43 MB

english, 2008

29

Spectrofluorimetric Determination of Itraconazole in Dosage Forms and Spiked Human Plasma

El-Enany, N., El-Sherbiny, D., Belala, F.

Journal:

Journal of the Chinese Chemical Society

Year:

2007

Language:

english

File:

PDF, 81 KB

english, 2007

30

[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - A K-based language for Design Patterns

Douibi, Halima, Smaali, Sahar, Belala, Faiza

Year:

2014

Language:

english

File:

PDF, 504 KB

english, 2014

31

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Formalization and analysis of timed BPEL

Chama, Imed Eddine, Belala, Nabil, Saidouni, Djamel Eddine

Year:

2014

Language:

english

File:

PDF, 660 KB

english, 2014

32

Activated Carbon Prepared from Date Pits for the Retention of NO2 at Low Temperature

Belala, Zohra, Belhachemi, Meriem, Jeguirim, Mejdi

Journal:

International Journal of Chemical Reactor Engineering

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

33

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - FOCOVE: Formal Concurrency Verification Environment for Complex Systems

Saïdouni, Djamel Eddine, Benamira, Adel, Belala, Nabil, Arfi, Farid, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj Ahmed

Year:

2008

Language:

english

File:

PDF, 658 KB

english, 2008

34

AIP Conference Proceedings [AIP 3RD INTERNATIONAL ADVANCES IN APPLIED PHYSICS AND MATERIALS SCIENCE CONGRESS - Antalya, Turkey (24–28 April 2013)] - Effects of K doping on structural and superconducting properties of Bi[sub 1.5]Pb[sub 0.5]Sr[sub 1.8]CaCu[sub 2]O[sub 8+δ] compounds

Belala, K, Mosbah, M. F.

Year:

2013

Language:

english

File:

PDF, 785 KB

english, 2013

35

Concurrent systems analysis using ECATNets

Journal:

Logic Journal of IGPL

Year:

2000

Language:

english

File:

PDF, 178 KB

english, 2000

36

[ACM Press the 2009 International Conference - Leipzig, Germany (2009.06.21-2009.06.24)] Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing Connecting the World Wirelessly - IWCMC '09 - Towards identity-based services in IMS

Belala, Yacine, Wong, James

Year:

2009

Language:

english

File:

PDF, 384 KB

english, 2009

37

[IEEE 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC) - Milano, Italy (2014.8.26-2014.8.28)] 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing - A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System

Cherfia, Taha Abdelmoutaleb, Barkaoui, Kamel, Belala, Faiza

Year:

2014

Language:

english

File:

PDF, 585 KB

english, 2014

38

[IEEE 2014 Second World Conference on Complex Systems (WCCS) - Agadir, Morocco (2014.11.10-2014.11.12)] 2014 Second World Conference on Complex Systems (WCCS) - Toward a formal meta-transformation of a parametrized component model

Belguidoum, Meriem, Belala, Faiza

Year:

2014

Language:

english

File:

PDF, 1.11 MB

english, 2014

39

The benefits of liposomes for chilling canine sperm for 4 days at 4°C

Belala, Redha, Delay, Juliette, Amirat, Lamia, Ropers, Marie-Hélène, Guillou, Jocya Le, Anton, Marc, Schmitt, Eric, Thorin, Chantal, Michaud, Sandrine, Kaidi, Rachid, Tainturier, Daniel, Bencharif, Dj

Journal:

Animal Reproduction Science

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

40

[IEEE 2015 International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS) - Paris, France (2015.7.22-2015.7.24)] 2015 International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS) - Towards BRS based model for Wireless Mesh Networks

Boucebsi, Rachida, Belala, Faiza

Year:

2015

Language:

french

File:

PDF, 892 KB

french, 2015

41

Effect of equilibration time on the motility and functional integrity of canine spermatozoa frozen in three different extenders

Belala, R., Briand-Amirat, L., Vinciguerra, L., Tainturier, D., Kaidi, R., Thorin, C., Michaud, S., Anton, M., Bencharif, D.

Journal:

Research in Veterinary Science

Year:

2016

Language:

english

File:

PDF, 528 KB

english, 2016

42

A bigraphical model for specifying cloud-based elastic systems and their behaviour

Sahli, Hamza, Hameurlain, Nabil, Belala, Faiza

Journal:

International Journal of Parallel Emergent and Distributed Systems

Year:

2016

Language:

english

File:

PDF, 4.22 MB

english, 2016

43

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity

Sahli, Hamza, Belala, Faiza, Bouanaka, Chafia

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 1.01 MB

english, 2015

44

A RT-Maude-based framework for component installation

Belguidoum, Meriem, Belala, Faiza, Latreche, Fateh

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 655 KB

english, 2014

45

Transactional Petri nets: a semantic framework for UML2 activities

Boufenara, Sabine, Barkaoui, Kamel, Belala, Faiza, Boucheneb, Hanifa

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 350 KB

english, 2014

46

A tile logic-based semantics for mobile software architectures

Bouanaka, Chafia, Belala, Faiza, Barkaoui, Kamel

Journal:

International Journal of Critical Computer-Based Systems

Year:

2011

Language:

english

File:

PDF, 285 KB

english, 2011

47

A reliable communications architecture for real-time IP mobile applications

Gregoire, J Ch., Issa, Omneya, Belala, Yacine, Wong, James

Journal:

International Journal of Mobile Communications

Year:

2009

Language:

english

File:

PDF, 612 KB

english, 2009

48

[IEEE 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Constantine, Algeria (2016.10.29-2016.10.30)] 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - A theoretical approach for modelling Cloud Services Composition

Benzadri, Zakaria, Hameurlain, Nabil, Belala, Faiza, Bouanaka, Chafia

Year:

2016

Language:

english

File:

PDF, 1.25 MB

english, 2016

49

[IEEE 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Constantine, Algeria (2016.10.29-2016.10.30)] 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Translating AADL systems to Java programs

Benlahrache, Nadira, Belala, Faiza, Younes, Randa Ait, Belala, Zoubida

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

50

[IEEE 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Constantine, Algeria (2016.10.29-2016.10.30)] 2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) - Towards modeling and verifying Wireless Mesh Networks

Boucebsi, Rachida, Belala, Faiza

Year:

2016

Language:

english

File:

PDF, 485 KB

english, 2016